%--

% al

@inproceedings {Alfatafta20,
    author = {Mohammed Alfatafta and Basil Alkhatib and Ahmed Alquraan and Samer Al-Kiswany},
    title = {Toward a Generic Fault Tolerance Technique for Partial Network Partitioning},
    booktitle = {14th {USENIX} Symposium on Operating Systems Design and Implementation ({OSDI}'20)},
    year = {2020},
    isbn = {978-1-939133-19-9},
    pages = {351--368},
    url = {https://www.usenix.org/conference/osdi20/presentation/alfatafta},
    publisher = {{USENIX} Association},
    month = nov,
}


@article{Alvaro18,
    author = {Alvaro, Peter and Tymon, Severine},
    title = {Abstracting the Geniuses Away from Failure Testing},
    journal = {Commun. ACM},
    issue_date = {January 2018},
    volume = {61},
    number = {1},
    month = dec,
    year = {2017},
    issn = {0001-0782},
    pages = {54--61},
    numpages = {8},
    url = {http://doi.acm.org/10.1145/3152483},
    doi = {10.1145/3152483},
    acmid = {3152483},
    publisher = {ACM},
    address = {New York, NY, USA},
} 


% as

@book{Aspnes19,
    author = {James Aspnes},
    title = {Notes on Theory of Distributed Systems},
    year = {2019},
    isbn = {},
    publisher = {Yale University, CPSC 465/565},
}

% at

@book{Attiya04,
    author = {Attiya, Hagit and Welch, Jennifer},
    title = {Distributed Computing: Fundamentals, Simulations and Advanced Topics},
    year = {2004},
    isbn = {0471453242},
    publisher = {John Wiley \& Sons},
}


% ba

@article{Bailis14-cacm,
    author = {Bailis, Peter and Kingsbury, Kyle},
    title = {The Network is Reliable},
    year = {2014},
    issue_date = {September 2014},
    publisher = {Association for Computing Machinery},
    address = {New York, NY, USA},
    volume = {57},
    number = {9},
    issn = {0001-0782},
    url = {https://doi.org/10.1145/2643130},
    doi = {10.1145/2643130},
    journal = {Commun. ACM},
    month = sep,
    pages = {48–55},
    numpages = {8}
}


% ca

@article{Castro02,
    author = {Castro, Miguel and Liskov, Barbara},
    title = {Practical Byzantine Fault Tolerance and Proactive Recovery},
    year = {2002},
    issue_date = {November 2002},
    publisher = {Association for Computing Machinery},
    address = {New York, NY, USA},
    volume = {20},
    number = {4},
    issn = {0734-2071},
    url = {https://doi.org/10.1145/571637.571640},
    doi = {10.1145/571637.571640},
    journal = {ACM Trans. Comput. Syst.},
    month = nov,
    pages = {398-461},
    numpages = {64},
    keywords = {proactive recovery, Byzantine fault tolerance, state transfer, state machine replication, asynchronous systems}
}


% du

@article{Dutta10,
    author = {Dutta, Partha and Guerraoui, Rachid and Levy, Ron R. and Vukoli\'{c}, Marko},
    title = {Fast Access to Distributed Atomic Memory},
    journal = {SIAM J. Comput.},
    issue_date = {August 2010},
    volume = {39},
    number = {8},
    month = dec,
    year = {2010},
    issn = {0097-5397},
    pages = {3752--3783},
    numpages = {32},
    url = {http://dx.doi.org/10.1137/090757010},
    doi = {10.1137/090757010},
    acmid = {2078530},
    publisher = {Society for Industrial and Applied Mathematics},
    address = {Philadelphia, PA, USA},
    keywords = {Byzantine failures, atomic registers, distributed algorithms, fault-tolerance, shared-memory emulations, time-complexity},
}


% gu

@inproceedings{Guo11,
    author = {Guo, Huayang and Wu, Ming and Zhou, Lidong and Hu, Gang and 
    Yang, Junfeng and Zhang, Lintao},
    title = {Practical Software Model Checking via Dynamic Interface Reduction},
    booktitle = {Proceedings of the Twenty-Third ACM Symposium on 
    Operating Systems Principles},
    series = {SOSP '11},
    year = {2011},
    isbn = {978-1-4503-0977-6},
    location = {Cascais, Portugal},
    pages = {265--278},
    numpages = {14},
    url = {http://doi.acm.org/10.1145/2043556.2043582},
    doi = {10.1145/2043556.2043582},
    acmid = {2043582},
    publisher = {ACM},
    address = {New York, NY, USA},
    keywords = {dynamic interface reduction, software model checking, 
    state space reduction},
}


% ha

@inproceedings{Hawblitzel15,
    author = {Hawblitzel, Chris and Howell, Jon and Kapritsos, Manos and
    Lorch, Jacob R. and Parno, Bryan and Roberts, Michael L. and 
    Setty, Srinath and Zill, Brian},
    title = {IronFleet: Proving Practical Distributed Systems Correct},
    booktitle = {Proceedings of the 25th Symposium on Operating Systems Principles},
    series = {SOSP '15},
    year = {2015},
    isbn = {978-1-4503-3834-9},
    location = {Monterey, California},
    pages = {1--17},
    numpages = {17},
    url = {http://doi.acm.org/10.1145/2815400.2815428},
    doi = {10.1145/2815400.2815428},
    acmid = {2815428},
    publisher = {ACM},
    address = {New York, NY, USA},
}


% hu

@inproceedings{Huang20,
    author = {Huang, Kaile and Huang, Yu and Wei, Hengfeng},
    title = {Fine-Grained Analysis on Fast Implementations of Distributed Multi-Writer Atomic Registers},
    year = {2020},
    isbn = {9781450375825},
    publisher = {Association for Computing Machinery},
    address = {New York, NY, USA},
    url = {https://doi.org/10.1145/3382734.3405698},
    doi = {10.1145/3382734.3405698},
    booktitle = {Proceedings of the 39th Symposium on Principles of Distributed Computing},
    pages = {200–209},
    numpages = {10},
    keywords = {fast implementation, impossibility result, atomicity, chain argument},
    location = {Virtual Event, Italy},
    series = {PODC'20}
}


@book{Huth04,
    author = {Huth, Michael and Ryan, Mark},
    title = {Logic in Computer Science: Modelling and Reasoning about Systems},
    year = {2004},
    isbn = {052154310X},
    publisher = {Cambridge University Press},
    address = {USA}
}


% ju

@inproceedings{Junqueira11,
    author = {Junqueira, Flavio P. and Reed, Benjamin C. and Serafini, Marco},
    title = {Zab: high-performance broadcast for primary-backup systems},
    booktitle = {Proc. DSN'11, IEEE/IFIP Conference on 
    Dependable Systems and Networks},
    year = {2011},
    pages = {245--256},
    url = {http://dx.doi.org/10.1109/DSN.2011.5958223},
    publisher = {IEEE},
}


% la

@Article{Lamport01,
    author = {Lamport, Leslie},
    title = {Paxos Made Simple},
    year = {2001},
    month = {December},
    url = {https://www.microsoft.com/en-us/research/publication/paxos-made-simple/},
    pages = {51-58},
    journal = {ACM SIGACT News (Distributed Computing Column) 32, 4 (Whole Number 121, December 2001)},
}


% ly

@book{Lynch96-textbook,
    author = {Lynch, Nancy A.},
    title = {Distributed Algorithms},
    year = {1996},
    isbn = {9780080504704},
    publisher = {Morgan Kaufmann Publishers Inc.},
    address = {San Francisco, CA, USA},
}


% me

@techreport{Medeiros12,
    title={ZooKeeper’s atomic broadcast protocol: Theory and practice},
    author={Andre Medeiros},
    year={2012},
}


% mi

@inproceedings{Michael19,
    author = {Michael, Ellis and Woos, Doug and Anderson, Thomas and 
    Ernst, Michael D. and Tatlock, Zachary},
    title = {Teaching Rigorous Distributed Systems With Efficient Model Checking},
    booktitle = {Proceedings of the Fourteenth EuroSys Conference 2019},
    series = {EuroSys '19},
    year = {2019},
    isbn = {978-1-4503-6281-8},
    location = {Dresden, Germany},
    pages = {32:1--32:15},
    articleno = {32},
    numpages = {15},
    url = {http://doi.acm.org/10.1145/3302424.3303947},
    doi = {10.1145/3302424.3303947},
    acmid = {3303947},
    publisher = {ACM},
    address = {New York, NY, USA},
    keywords = {distributed systems, education, model checking},
} 


% ne

@article{Newcombe15,
    author = {Newcombe, Chris and Rath, Tim and Zhang, Fan and Munteanu, Bogdan and Brooker, Marc and Deardeuff, Michael},
    title = {How Amazon Web Services Uses Formal Methods},
    year = {2015},
    issue_date = {April 2015},
    publisher = {Association for Computing Machinery},
    address = {New York, NY, USA},
    volume = {58},
    number = {4},
    issn = {0001-0782},
    url = {https://doi.org/10.1145/2699417},
    doi = {10.1145/2699417},
    abstract = {Engineers use TLA+ to prevent serious but subtle bugs from reaching production.},
    journal = {Commun. ACM},
    month = mar,
    pages = {66–73},
    numpages = {8}
}


% ok

@inproceedings{Oki88,
    author = {Oki, Brian M. and Liskov, Barbara H.},
    title = {Viewstamped Replication: A New Primary Copy Method to Support Highly-Available Distributed Systems},
    year = {1988},
    isbn = {0897912772},
    publisher = {Association for Computing Machinery},
    address = {New York, NY, USA},
    url = {https://doi.org/10.1145/62546.62549},
    doi = {10.1145/62546.62549},
    booktitle = {Proceedings of the Seventh Annual ACM Symposium on Principles of Distributed Computing},
    pages = {8–17},
    numpages = {10},
    location = {Toronto, Ontario, Canada},
    series = {PODC '88}
}


% on

@inproceedings{Ongaro14,
    author = {Ongaro, Diego and Ousterhout, John},
    title = {In Search of an Understandable Consensus Algorithm},
    booktitle = {Proceedings of the 2014 USENIX Conference on USENIX Annual Technical Conference},
    series = {USENIX ATC'14},
    year = {2014},
    isbn = {978-1-931971-10-2},
    location = {Philadelphia, PA},
    pages = {305--320},
    numpages = {16},
    url = {http://dl.acm.org/citation.cfm?id=2643634.2643666},
    acmid = {2643666},
    publisher = {USENIX Association},
    address = {Berkeley, CA, USA},
} 


% ta

@book{Tanenbaum06,
    author = {Tanenbaum, Andrew S. and Steen, Maarten van},
    title = {Distributed Systems: Principles and Paradigms (2nd Edition)},
    year = {2006},
    isbn = {0132392275},
    publisher = {Prentice-Hall, Inc.},
    address = {USA}
}


% wa

@book{Wayne18,
    author = {Hillel Wayne},
    title = {Practical TLA+: Planning Driven Development},
    year = {2018},
    isbn = {978-1-4842-3829-5},
    publisher = {Apress},
}

